Cyclic theory and the pericyclic category
نویسندگان
چکیده
منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولCategory Theory and Galois Theory
Galois theory translates questions about fields into questions about groups. The fundamental theorem of Galois theory states that there is a bijection between the intermediate fields of a field extension and the subgroups of the corresponding Galois group. After a basic introduction to category and Galois theory, this project recasts the fundamental theorem of Galois theory using categorical la...
متن کاملCategory theory and consciousness
We propose a new research program which provides an approach to consciousness and the t problem ofdeep reality. Our model is based on category theory. The need to t relate l t local l behavior to global behavior has convinced us early on that a good model l for conscious entities had to be found in the notion of sheaf. With t this t i formulation, f l ti , every presheaf represents a brain (orr...
متن کاملCategory Theory and Structuralism
The term structuralism occurred in several branches of the humanities and the sciences in the period 1929 – 1970: in Linguistics (Ferdinand de Saussure, Roman Jakobson), Anthropology (Claude Lévi-Strauss), Developmental psychology (Jean Piaget), Literature (Workshop for potential literature, Raymond Queneau) and in Mathematics (Nicolas Bourbaki). To the layman the structuralist movement in math...
متن کاملCategory Theory
This article presents a development of Category Theory in Isabelle. A Category is defined using records and locales in Isabelle/HOL. Functors and Natural Transformations are also defined. The main result that has been formalized is that the Yoneda functor is a full and faithful embedding. We also formalize the completeness of many sorted monadic equational logic. Extensive use is made of the HO...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of symposia in pure mathematics
سال: 2023
ISSN: ['0082-0717', '2324-707X']
DOI: https://doi.org/10.1090/pspum/105/05